When BAX doesn't kill

When Formal Systems Kill: Computer Ethics and Formal Methods

Computer ethics is usually motivated by and deals with problematic decision-making cases arising from the ubiquity and unprecedented power of computer and information technologies. In this paper, we address a distinct topic that is germane to computer ethics but has thus far been neglected in the computer ethics literature. Formal methods is the science of mathematically proving computer system...

A TIME TO KILL: WHEN IS LEADERSHIP TARGETING AN EFFECTIVE COUNTERTERRORISM STRATEGY by

When doctors might kill their patients: foreseeing is not necessarily the same as intending.

When and how do seizures kill neurons, and is cell death relevant to epileptogenesis?

The effect of seizures on neuronal death and the role of seizure-induced neuronal death in acquired epileptogenesis have been debated for decades. Isolated brief seizures probably do not kill neurons; however, severe and repetitive seizures (i.e., status epilepticus) certainly do. Because status epilepticus both kills neurons and also leads to chronic epilepsy, neuronal death has been proposed ...

BIM and tBID are not mechanistically equivalent when assisting BAX to permeabilize bilayer membranes.

BIM and tBID are two BCL-2 homology 3 (BH3)-only proteins with a particularly strong capacity to trigger BAX-driven mitochondrial outer membrane permeabilization, a crucial event in mammalian apoptosis. However, the means whereby BIM and tBID fulfill this task is controversial. Here, we used a reconstituted liposomal system bearing physiological relevance to explore systematically how the BAX-p...